
   Syntax      %IN% label {%ON% iteration} statement_1	
            or %IN% label statement_2

   Where       statement_1 is:
                 %COLLECT% {%STRICTLY%} term
                 %DISTRIBUTE% {%STRICTLY%} term
                 %EXPAND% {%STRICTLY%} term 
                 %REPLACE% {%STRICTLY%} term %BY% term

               statement_2 is:
                 %ADD% expression, %DIVIDE% expression, %MULTIPLY% expression
                 %NEGATE% expression, %RAISE% expression

    %Example%                       %Example with procedure%      
    þE1 : x                       PROCEDURE Example(LABEL L;PARAMETER P) ;
    þE2 : y                         IN L COLLECT P ;
    þE3 : z                       EXIT  
    þIN E1 REPLACE x BY 2*y + z
